On the Independence of the Formal System L
نویسنده
چکیده
The formal system L of fuzzy propositional logic has been successfully applied to the joint research of fuzzy logic and fuzzy reasoning. The current paper further studies the syntactic structure of the system L, presents several new results with respect to this system. Especially, a simplified system which contains only seven axioms is proposed, and the system is found to be equivalent to the original system. Also, the independence of the simplified system is proved in the present paper.
منابع مشابه
A Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کاملA Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کاملALGEBRAIC INDEPENDENCE OF CERTAIN FORMAL POWER SERIES (I)
We give a proof of the generalisation of Mendes-France and Van der Poorten's recent result over an arbitrary field of positive characteristic and then by extending a result of Carlitz, we shall introduce a class of algebraically independent series.
متن کاملI.R. and Independence-Seeking Based in the Ideal Sky and Civilized Horizon
In this study the impact of the Islamic revolution on freedom as an important achievement, and the changes and levels of independence in the growing process of the revolution. In a negative approach, the research proposes the hypothesis that the Islamic Revolution has opposed the Westphalian state-based independence and developed Islamic teaching-based independence based. The present study, wit...
متن کاملAn Historical Study of High School Mathematics Textbooks since the Establishment of the Formal Education System in Iran
Abstract: Study on curriculum movement and variation of the mathematics textbooks in Iran is one of the fields that few studies have been accomplished, and in this field there have been no investigation reports or any particular results of such these studies. This paper deals with a short report of a comprehensive research in this field from the beginning of formal education curriculum in Iran ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012